Validité externe et méthode expérimentale

Fraîcheur et validité de données répliquées dans des environnements transactionnels

We propose a framework for managing the quality of data replicated optimistically on a database cluster. It is based on a model of quality of data. Qualitalively, we make the difference between “freshness” and “validity” of data. Quantitatively, data quality is expressed through divergence measures between the data read and the same data with perfect quality. Users specify a minimum level of qu...

Tunnels profonds dans les milieux viscoplastiques : approches expérimentale et numérique

Les problèmes traités dans cette thèse relèvent du cadre général de la modélisation des tunnels profonds, en particulier dans les milieux viscoplastiques. L'objectif de notre travail est de combiner des travaux de recherche de type expérimental et numérique, pour aboutir à une modélisation correcte du problème de l'interaction massif-soutènement et pouvoir optimiser ainsi le dimensionnement des...

Une logique conflictuelle: double négation et devenir, méthode

Proposition d'une méthode et d'un outil pour le développement d'applications

Méthode du point proximal: principe et applications aux algorithmes itératifs

This paper recalls the proximal point method. We study two iterative algorithms: the Blahut-Arimoto algorithm for computing the capacity of arbitrary discrete memoryless channels, as an example of an iterative algorithm working with probability density estimates and the iterative decoding of the Bit Interleaved Coded Modulation (BICM-ID). For these iterative algorithms, we apply the proximal po...